منابع مشابه
De l'oprateur de trace dans les jeux de Conway
In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...
متن کاملCalcul des équilibres de Nash dans les jeux temporisés
Les automates temporisés [AD90] permettent de modéliser un système où le temps s’écoule de façon continu. Ils sont utiles en vérification car beaucoup de propriétés intéressantes sont décidables sur ces modèles. Plusieurs outils ont été développés basés sur des automates temporisés. Les jeux permettent d’étudier des systèmes ouverts. Étant plongé dans un environnement, certaines actions sont co...
متن کاملLes jeux d'accessibilité généralisée
RÉSUMÉ.Dans cet article, nous étudions les jeux d’accessibilité généralisée : ce sont des jeux à deux joueurs à somme nulle, pour lesquels l’objectif du premier joueur, Ève, est donné par une conjonction d’objectifs d’accessibilité. Dans un premier temps, nous montrons que le problème de décider si Ève a une stratégie gagnante est PSPACE-complet, mais polynomial en fixant pour paramètre le nomb...
متن کاملÉchantillonnage adaptatif de jeux de données déséquilibrés pour les forêts aléatoires
Introduction Les jeux de données déséquilibrés constituent un problème important de l’apprentissage supervisé. Or la plupart des modèles sont conçus pour des données équilibrées. Leur utilisation sur des données déséquilibrées conduit souvent à une mauvaise prédiction de la classe minoritaire. Pourtant, cette situation se retrouve régulièrement dans la pratique (Détection de pannes (Pazzani et ...
متن کاملApproche de présélection multicritère à base de traces pour la prise de décision dans les applications interactives de type jeux
The decision making in games is essential to make them more automated and smart. A decision algorithm performs its calculations on the set of all the possible solutions. This increases the computation time and may become a combinatorial explosion problem if we have a huge solution space. To overcome this problem, we present our work on relevant solutions preselection before making a decision. W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Terrains/Théories
سال: 2015
ISSN: 2427-9188
DOI: 10.4000/teth.367